An Invoicing Case Study in Z
نویسنده
چکیده
This paper presents an initial attempt at a solution to a challenge set by Prof. Henri Habrias to compare the questions raised by di erent methods in the formalization of an informal set of requirements. The notation used is Z, based on set theory and predicate logic, augmented with the schema notation for structuring. The original English language description of what is required is included verbatim. This is interspersed with a formal speci cation of the requirements in Z together with questions raised in the formalization. Where there are options to be selected, these are discussed and di erent possible formalizations are presented and compared. The actual process of writing a Z speci cation is also discussed.
منابع مشابه
Operators' Value Creation Models in Electronic Invoicing-User Company Perspective
Electronic Invoicing (E-invoicing) has been going through fast development during recent years. It is believed to bring great savings for companies. There has been a lot of research and studies on Einvoicing. This study is going to study on how E-invoicing operators could create value but from users’ perspective. The study is going to build its own value creation framework based on Amit and Zot...
متن کاملThe Invoicing System in UML
In this paper, we propose to model the invoicing system using UML. The modelling process supporting our work is inspired form the Objectory method. This approach is based on the identiication of the system needs and on their implementation in the object-oriented paradigm. For the two cases, we start by determining the system func-tionalities and its interactions with the environment, and then w...
متن کاملRequirement Capture, Formal Description and Verification of a Business System: the Invoicing Case-Study
The Invoicing case study is a typical business system proposed by Henri Habrias as a common example for a contest on the capacity of particular formal methods to capture requirements from the client. For this, the case study is informally described by half a page of English text. In this report, we use the formal description technique LOTOS for requirement capture, formal description and verifi...
متن کاملUsing an Object-Oriented Predicative Style to Solve the Invoicing Case Study
We apply the predicative programming formal method of [2] in specifying and designing a solution to the invoicing case study. The method is used in an object-oriented style: first-class citizens of the descriptions are classes and objects. We discuss some of the advantages to using the predicative method in its object-oriented style, as well as its limitations in this problem domain.
متن کاملThe Extent of Utilization of E-Marketing Application by Small and Medium Enterprises in South Eastern States of Nigeria
The need for small and medium scale enterprises to utilize information and communication technology (ICT) applications to boost their business necessitated this study which bordered on assessing the extent of utilization of e-marketing applications by small and medium enterprises in South Eastern States of Nigeria. Two research questions guided the study. Two null hypotheses were tested at 0.05...
متن کامل